Carmichael 数
$ ^{\exist n\in\N\setminus\mathbb P,\ \forall a\in(\Z/n\Z)^*}[a^{n-1}\overset n\equiv1]
特徴
Carmichael 数を$ nとすると、その全ての素因子$ pに対して$ n-1\overset{p-1}\equiv0 例
$ 2821=7\times13\times31
$ 2820=2^3\times3^2\times5
$ 6=2\times3でも$ 12=2^2\times3でも$ 2\times3\times5でも割り切れる
何でそんな性質を持つのかが謎。